bpt theorem